Veri cation theorem and construction of -optimal controls for control of abstract evolution equations
نویسندگان
چکیده
We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial di erential equations. We introduce and prove a veri cation theorem which provides a su cient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and present an explicit construction of -optimal controls.
منابع مشابه
Verification theorem and construction of -optimal controls for control of abstract evolution equations
We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial differential equations. We introduce and prove a verification theorem which provides a sufficient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and give an explicit construction of -optimal...
متن کاملNew results for fractional evolution equations using Banach fixed point theorem
In this paper, we study the existence of solutions for fractional evolution equations with nonlocalconditions. These results are obtained using Banach contraction xed point theorem. Other resultsare also presented using Krasnoselskii theorem.
متن کاملDynamical Control of Computations Using the Family of Optimal Two-point Methods to Solve Nonlinear Equations
One of the considerable discussions for solving the nonlinear equations is to find the optimal iteration, and to use a proper termination criterion which is able to obtain a high accuracy for the numerical solution. In this paper, for a certain class of the family of optimal two-point methods, we propose a new scheme based on the stochastic arithmetic to find the optimal number of iterations in...
متن کاملConstruction of measures of noncompactness of $C^k(Omega)$ and $C^k_0$ and their application to functional integral-differential equations
In this paper, first, we investigate the construction of compact sets of $ C^k$ and $ C_0^k$ by proving ``$C^k, C_0^k-version$" of Arzel`{a}-Ascoli theorem, and then introduce new measures of noncompactness on these spaces. Finally, as an application, we study the existence of entire solutions for a class of the functional integral-differential equations by using Darbo's fixe...
متن کاملFormal Verification of Real time Software
The veri cation of functionality of the input output logic properties often composes the majority of software requirements analysis Automated theorem provers ATPs such as SRI s Prototype Veri cation System PVS have been successfully used in the formal veri cation of functional properties However such functional methods are not readily applicable to the veri cation of the real time software re q...
متن کامل